Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
261	European Data Forum 2013 Date: :13 PM CET Category: Business, Economy, Finances, Banking & Insurance Press release from: Semantic Web Company (SWC) Discussing the challenges and opportunities of data intens Add to Reading List Source URL: www.openpr.com Language: English Formal sciences Big data Data modeling Technology development Transaction processing Geographic information system Business intelligence Technology Data management Information technology management
262	Applications of Approximate Word Matching in Information Retrieval J. C. French, A. L. Powell, E. Schulman* Department of Computer Science, University of Virginia National Radio Astronomy Observatory CIKM ’97 November Add to Reading List Source URL: www.cs.virginia.edu Language: English* - Date: 1998-07-01 11:12:28 Computing Science Dynamic programming Approximate string matching String searching algorithm Edit distance Regular expression String Astrophysics Data System Pattern matching Formal languages Combinatorics
263	Synthesis of Reconfiguration Charts12 Technical report Tobias Eckardt and Stefan Henkler Heinz Nixdorf Institute Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:41 ISO standards Software architecture Diagrams Knowledge representation Unified Modeling Language Component-based software engineering System Formal verification Mechatronics Software engineering Science Computing
264	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A formally verified compiler back-end Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-10-29 04:36:18 Compiler construction Programming language implementation Type theory Compilers Procedural programming languages Compiler Type system Formal verification Type safety Software engineering Computing Software
265	3rd AGILE Conference on Geographic Information Science – Helsinki/Espoo, Finland, May 25th – 27th, 2000 A Formal Method for the Semantic Integration of Classification Schemata Margarita Kokla and Marinos Kavouras Add to Reading List Source URL: itcnt05.itc.nl Language: English - Date: 2005-02-14 17:00:00 Data modeling Data management Information science Knowledge representation Technical communication Geographic information system Federated database system Schema Database schema Information Science Data
266	DEPLOY Integrated Project Deployment of advances engineering methods for high productivity and dependability in European industry http://www.deploy-project.eu/ Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Knowledge Dependability B-Method Software development process System Rodin tool Michael Butler Formal methods Science Software development
267	F RIT S Cab: Fujaba Re-Engineering Tool Suite for Mechatronic Systems∗ Stefan Henkler, Moritz Breit, Christopher Brink, Markus Böger, Christian Brenner, Kathrin Bröker, Uwe Pohlmann, Manel Richtermeier, Julian Suck, Add to Reading List Source URL: www.fujaba.de Language: English - Date: 2011-11-08 14:37:30 Applied mathematics Model checking Worst-case execution time System Component-based software engineering Formal verification Software architecture Mechatronics Behavior Trees Embedded systems Software engineering Technology
268	Teaching Distributed Data Mining on DAS: How to do it right? Wojtek Kowalczyk Add to Reading List Source URL: www.asci.tudelft.nl Language: English - Date: 2013-03-12 07:26:17 Concurrent computing GraphLab Netflix Recommender system Data mining Apache Hadoop Algorithm Bioinformatics MapReduce Formal sciences Computing Science
269	From Search to Observation Ian Brown Wendy Hall Lisa Harris Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2013-09-12 09:30:34 Data management Formal sciences Telecommunications Knowledge representation Metadata Technical communication Open data Geographic information system Observation Technology Science Knowledge
270	TalkBank Meetings Database Guide This guide provides documentation regarding the Meetings and Formal Discourse corpora in the TalkBank database. TalkBank is an international system for the exchange of data on spoken lan Add to Reading List Source URL: talkbank.org Language: English - Date: 2013-01-22 11:52:49 Subtitling Transcription Writing Corpora Language Technologies Institute Applied linguistics Linguistics Computational linguistics Phonetics

UPDATE